ON THE COMPUTATION OF THE CORRELATION FUNCTIONS OF THE TWO-DIMENSIONAL FRUSTRATED ISING MODEL USING RATIONAL ARITHMETIC CHATCHAWAN WATCHARARUANGWIT

Source URL: www.li.mahidol.ac.th

A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software ? Luca Berardinelli, Vittorio Cortellessa, and Antinisca Di Marco Dipartimento di Informatica Universit` a dell’Aquila

Source URL: ceur-ws.org

• Software development
• Science
• Models of computation
• UML diagrams
• Systems engineering
• State diagram
• Unified Modeling Language
• Reliability engineering
• Software development methodology
• Diagrams
• Design
• Infographics

HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones

Source URL: research.microsoft.com

• Logic in computer science
• Models of computation
• Model theory
• Formal methods
• Denotational semantics
• Combinatory logic
• First-order logic
• Interpretation
• Lambda calculus
• Mathematical logic
• Logic
• Mathematics

§1. Algorithmics Lecture I Page 1

Source URL: cs.nyu.edu

• Computational complexity theory
• Operations research
• Algorithms
• Models of computation
• Decision tree model
• Sorting algorithm
• Linear programming
• Divide and conquer algorithm
• Time complexity
• Theoretical computer science
• Applied mathematics
• Mathematics

Realizability Toposes Stijn Vermeeren Darwin College Bekaflaan 1 bus[removed]Aarschot Belgium

Source URL: stijnvermeeren.be

• Functions and mappings
• Model theory
• Computability theory
• Primitive recursive function
• Recursion
• Theory of computation
• Function
• Interpretation
• First-order logic
• Mathematical logic
• Mathematics
• Logic

Space-efficient Local Computation Algorithms∗ Noga Alon† Ronitt Rubinfeld‡ Abstract

Source URL: www.math.tau.ac.il

• Network theory
• Analysis of algorithms
• Probabilistic complexity theory
• Randomized algorithm
• Graph coloring
• Decision tree model
• Probabilistic method
• Algorithm
• Shortest path problem
• Theoretical computer science
• Mathematics
• Applied mathematics

Quantum Search Algorithms arXiv:quant-ph/0504012v1 3 Apr 2005 Andris Ambainis∗

Source URL: arxiv.org

• Computational complexity theory
• Quantum information science
• Models of computation
• Quantum walk
• Quantum computer
• Randomized algorithm
• Amplitude amplification
• Time complexity
• Decision tree model
• Theoretical computer science
• Applied mathematics
• Quantum algorithms

4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed]

Source URL: www.cis.upenn.edu

• Computer science
• Mathematical logic
• Primitive recursive function
• Computable function
• Computability
• Model theory
• Recursion
• Μ operator
• Μ-recursive function
• Computability theory
• Theory of computation
• Theoretical computer science

3 Modelling Distributed Systems A. Yonezawat and C. Hewitt Artificial Intelligence Laboratory Massachusetts Institute of Technology. USA

Source URL: aitopics.org

• Concurrent computing
• Inter-process communication
• Process calculi
• Message passing
• Distributed computing
• Parallel computing
• Actor model theory
• Indeterminacy in concurrent computation
• Actor model
• Concurrency
• Computing

Genetic Epidemiology 8:[removed]Efficient Computation of Patterned Covariance Matrix Mixed Models in Quantitative Segregation Analysis Nicholas Schork

Source URL: deepblue.lib.umich.edu

• Abstract algebra
• Linear algebra
• Estimation theory
• Data analysis
• Covariance and correlation
• Covariance matrix
• Mixed model
• Euclidean vector
• Multivariate normal distribution
• Statistics
• Algebra
• Mathematics